Abstract interpretation

Results: 510



#Item
51

Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

Add to Reading List

Source URL: cliplab.org

- Date: 2011-08-06 12:15:35
    52

    Cooperative Query Answering by Abstract Interpretation Raju Halder and Agostino Cortesi Dipartimento di Informatica Universit` a Ca’ Foscari Venezia, Italy

    Add to Reading List

    Source URL: www.dsi.unive.it

    - Date: 2011-02-07 10:19:32
      53

      Abstract Interpretation: Exercises for day 2 February 3, Write a 3 counter machine program and interpret it using the operational semantics on an input of your choice 2. Systematically derive abstract operations

      Add to Reading List

      Source URL: janmidtgaard.dk

      - Date: 2015-02-02 16:35:23
        54

        Context-based Probabilistic Scene Interpretation Bernd Neumann, Kasim Terzic Department of Informatics, University of Hamburg {neumann, terzic}@informatik.uni-hamburg.de Abstract. In high-level scene interpretation, it

        Add to Reading List

        Source URL: w3.ualg.pt

        - Date: 2013-04-09 09:41:17
          55

          Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

          Add to Reading List

          Source URL: pauillac.inria.fr

          - Date: 2015-10-19 04:32:35
            56

            Complementarity and Scientific Rationality Simon Saunders Faculty of Philosophy, University of Oxford 10 Merton St., Oxford OX1 4JJ Abstract: Bohr’s interpretation of quantum mechanics has been

            Add to Reading List

            Source URL: users.ox.ac.uk

            - Date: 2004-10-19 09:19:29
              57

              W. M, DE MUYNCK MEASUREMENT AND THE INTERPRETATION OF QUANTUM MECHANICS AND RELATIVITY THEORY ABSTRACT. The axiomatic approachesof quantum mechanicsand relativity theory are

              Add to Reading List

              Source URL: www.phys.tue.nl

              - Date: 2010-01-09 07:18:27
                58

                The Parmenides: a Dialetheic Interpretation Graham Priest March 15, 2013 Departments of Philosophy, Universities of Melbourne, St Andrews, and the Graduate Center, City University of New York. Abstract

                Add to Reading List

                Source URL: gramata.univ-paris1.fr

                - Date: 2013-03-18 13:56:08
                  59

                  An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework German Puebla and Manuel Hermenegildo Department of Computer Science Technical University of Madrid (UPM) fgerman,

                  Add to Reading List

                  Source URL: repository.readscheme.org

                  - Date: 2010-10-22 08:05:11
                    UPDATE